しかしコロナ禍の大学生の実力やコラボ環境の構築がだいぶ見えてきた感じするな…。大学のプログラミング演習は GitHub+discordでの開発を標準化すべきようにも思う。